Optimal. Leaf size=92 \[ -\frac {2 (A b-(b B-2 A c) x) (d+e x)^2}{3 b^2 \left (b x+c x^2\right )^{3/2}}-\frac {8 (b B d-2 A c d+A b e) (b d+(2 c d-b e) x)}{3 b^4 \sqrt {b x+c x^2}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.03, antiderivative size = 92, normalized size of antiderivative = 1.00, number of steps
used = 2, number of rules used = 2, integrand size = 26, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.077, Rules used = {818, 650}
\begin {gather*} -\frac {8 (x (2 c d-b e)+b d) (A b e-2 A c d+b B d)}{3 b^4 \sqrt {b x+c x^2}}-\frac {2 (d+e x)^2 (A b-x (b B-2 A c))}{3 b^2 \left (b x+c x^2\right )^{3/2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 650
Rule 818
Rubi steps
\begin {align*} \int \frac {(A+B x) (d+e x)^2}{\left (b x+c x^2\right )^{5/2}} \, dx &=-\frac {2 (A b-(b B-2 A c) x) (d+e x)^2}{3 b^2 \left (b x+c x^2\right )^{3/2}}+\frac {(4 (b B d-2 A c d+A b e)) \int \frac {d+e x}{\left (b x+c x^2\right )^{3/2}} \, dx}{3 b^2}\\ &=-\frac {2 (A b-(b B-2 A c) x) (d+e x)^2}{3 b^2 \left (b x+c x^2\right )^{3/2}}-\frac {8 (b B d-2 A c d+A b e) (b d+(2 c d-b e) x)}{3 b^4 \sqrt {b x+c x^2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.58, size = 149, normalized size = 1.62 \begin {gather*} \frac {2 \left (A \left (16 c^3 d^2 x^3+8 b c^2 d x^2 (3 d-2 e x)-b^3 \left (d^2+6 d e x-3 e^2 x^2\right )+2 b^2 c x \left (3 d^2-12 d e x+e^2 x^2\right )\right )+b B x \left (-8 c^2 d^2 x^2+4 b c d x (-3 d+e x)+b^2 \left (-3 d^2+6 d e x+e^2 x^2\right )\right )\right )}{3 b^4 (x (b+c x))^{3/2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(362\) vs.
\(2(84)=168\).
time = 0.71, size = 363, normalized size = 3.95
method | result | size |
risch | \(-\frac {2 d \left (c x +b \right ) \left (6 A b e x -8 A c d x +3 B b d x +A b d \right )}{3 b^{4} x \sqrt {x \left (c x +b \right )}}+\frac {2 x \left (2 A b c e x -8 A \,c^{2} d x +B \,b^{2} e x +5 B b c d x +3 A \,b^{2} e -9 A b c d +6 B \,b^{2} d \right ) \left (b e -c d \right )}{3 \sqrt {x \left (c x +b \right )}\, \left (c x +b \right ) b^{4}}\) | \(128\) |
gosper | \(-\frac {2 x \left (c x +b \right ) \left (-2 A \,b^{2} c \,e^{2} x^{3}+16 A b \,c^{2} d e \,x^{3}-16 A \,c^{3} d^{2} x^{3}-B \,b^{3} e^{2} x^{3}-4 B \,b^{2} c d e \,x^{3}+8 B b \,c^{2} d^{2} x^{3}-3 A \,b^{3} e^{2} x^{2}+24 A \,b^{2} c d e \,x^{2}-24 A b \,c^{2} d^{2} x^{2}-6 B \,b^{3} d e \,x^{2}+12 B \,b^{2} c \,d^{2} x^{2}+6 A \,b^{3} d e x -6 A \,b^{2} c \,d^{2} x +3 B \,b^{3} d^{2} x +A \,d^{2} b^{3}\right )}{3 b^{4} \left (c \,x^{2}+b x \right )^{\frac {5}{2}}}\) | \(197\) |
trager | \(-\frac {2 \left (-2 A \,b^{2} c \,e^{2} x^{3}+16 A b \,c^{2} d e \,x^{3}-16 A \,c^{3} d^{2} x^{3}-B \,b^{3} e^{2} x^{3}-4 B \,b^{2} c d e \,x^{3}+8 B b \,c^{2} d^{2} x^{3}-3 A \,b^{3} e^{2} x^{2}+24 A \,b^{2} c d e \,x^{2}-24 A b \,c^{2} d^{2} x^{2}-6 B \,b^{3} d e \,x^{2}+12 B \,b^{2} c \,d^{2} x^{2}+6 A \,b^{3} d e x -6 A \,b^{2} c \,d^{2} x +3 B \,b^{3} d^{2} x +A \,d^{2} b^{3}\right ) \sqrt {c \,x^{2}+b x}}{3 b^{4} x^{2} \left (c x +b \right )^{2}}\) | \(201\) |
default | \(B \,e^{2} \left (-\frac {x^{2}}{c \left (c \,x^{2}+b x \right )^{\frac {3}{2}}}+\frac {b \left (-\frac {x}{2 c \left (c \,x^{2}+b x \right )^{\frac {3}{2}}}-\frac {b \left (-\frac {1}{3 c \left (c \,x^{2}+b x \right )^{\frac {3}{2}}}-\frac {b \left (-\frac {2 \left (2 c x +b \right )}{3 b^{2} \left (c \,x^{2}+b x \right )^{\frac {3}{2}}}+\frac {16 c \left (2 c x +b \right )}{3 b^{4} \sqrt {c \,x^{2}+b x}}\right )}{2 c}\right )}{4 c}\right )}{2 c}\right )+\left (A \,e^{2}+2 B d e \right ) \left (-\frac {x}{2 c \left (c \,x^{2}+b x \right )^{\frac {3}{2}}}-\frac {b \left (-\frac {1}{3 c \left (c \,x^{2}+b x \right )^{\frac {3}{2}}}-\frac {b \left (-\frac {2 \left (2 c x +b \right )}{3 b^{2} \left (c \,x^{2}+b x \right )^{\frac {3}{2}}}+\frac {16 c \left (2 c x +b \right )}{3 b^{4} \sqrt {c \,x^{2}+b x}}\right )}{2 c}\right )}{4 c}\right )+\left (2 A d e +B \,d^{2}\right ) \left (-\frac {1}{3 c \left (c \,x^{2}+b x \right )^{\frac {3}{2}}}-\frac {b \left (-\frac {2 \left (2 c x +b \right )}{3 b^{2} \left (c \,x^{2}+b x \right )^{\frac {3}{2}}}+\frac {16 c \left (2 c x +b \right )}{3 b^{4} \sqrt {c \,x^{2}+b x}}\right )}{2 c}\right )+A \,d^{2} \left (-\frac {2 \left (2 c x +b \right )}{3 b^{2} \left (c \,x^{2}+b x \right )^{\frac {3}{2}}}+\frac {16 c \left (2 c x +b \right )}{3 b^{4} \sqrt {c \,x^{2}+b x}}\right )\) | \(363\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 346 vs.
\(2 (87) = 174\).
time = 0.27, size = 346, normalized size = 3.76 \begin {gather*} -\frac {4 \, A c d^{2} x}{3 \, {\left (c x^{2} + b x\right )}^{\frac {3}{2}} b^{2}} + \frac {32 \, A c^{2} d^{2} x}{3 \, \sqrt {c x^{2} + b x} b^{4}} - \frac {B x^{2} e^{2}}{{\left (c x^{2} + b x\right )}^{\frac {3}{2}} c} - \frac {2 \, A d^{2}}{3 \, {\left (c x^{2} + b x\right )}^{\frac {3}{2}} b} + \frac {16 \, A c d^{2}}{3 \, \sqrt {c x^{2} + b x} b^{3}} - \frac {B b x e^{2}}{3 \, {\left (c x^{2} + b x\right )}^{\frac {3}{2}} c^{2}} + \frac {2 \, B x e^{2}}{3 \, \sqrt {c x^{2} + b x} b c} + \frac {4 \, {\left (2 \, B d e + A e^{2}\right )} x}{3 \, \sqrt {c x^{2} + b x} b^{2}} + \frac {2 \, {\left (B d^{2} + 2 \, A d e\right )} x}{3 \, {\left (c x^{2} + b x\right )}^{\frac {3}{2}} b} - \frac {2 \, {\left (2 \, B d e + A e^{2}\right )} x}{3 \, {\left (c x^{2} + b x\right )}^{\frac {3}{2}} c} - \frac {16 \, {\left (B d^{2} + 2 \, A d e\right )} c x}{3 \, \sqrt {c x^{2} + b x} b^{3}} + \frac {B e^{2}}{3 \, \sqrt {c x^{2} + b x} c^{2}} - \frac {8 \, {\left (B d^{2} + 2 \, A d e\right )}}{3 \, \sqrt {c x^{2} + b x} b^{2}} + \frac {2 \, {\left (2 \, B d e + A e^{2}\right )}}{3 \, \sqrt {c x^{2} + b x} b c} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 196 vs.
\(2 (87) = 174\).
time = 3.50, size = 196, normalized size = 2.13 \begin {gather*} -\frac {2 \, {\left (A b^{3} d^{2} + 8 \, {\left (B b c^{2} - 2 \, A c^{3}\right )} d^{2} x^{3} + 12 \, {\left (B b^{2} c - 2 \, A b c^{2}\right )} d^{2} x^{2} + 3 \, {\left (B b^{3} - 2 \, A b^{2} c\right )} d^{2} x - {\left (3 \, A b^{3} x^{2} + {\left (B b^{3} + 2 \, A b^{2} c\right )} x^{3}\right )} e^{2} + 2 \, {\left (3 \, A b^{3} d x - 2 \, {\left (B b^{2} c - 4 \, A b c^{2}\right )} d x^{3} - 3 \, {\left (B b^{3} - 4 \, A b^{2} c\right )} d x^{2}\right )} e\right )} \sqrt {c x^{2} + b x}}{3 \, {\left (b^{4} c^{2} x^{4} + 2 \, b^{5} c x^{3} + b^{6} x^{2}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\left (A + B x\right ) \left (d + e x\right )^{2}}{\left (x \left (b + c x\right )\right )^{\frac {5}{2}}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 176 vs.
\(2 (87) = 174\).
time = 1.43, size = 176, normalized size = 1.91 \begin {gather*} -\frac {2 \, {\left (\frac {A d^{2}}{b} + {\left (x {\left (\frac {{\left (8 \, B b c^{2} d^{2} - 16 \, A c^{3} d^{2} - 4 \, B b^{2} c d e + 16 \, A b c^{2} d e - B b^{3} e^{2} - 2 \, A b^{2} c e^{2}\right )} x}{b^{4}} + \frac {3 \, {\left (4 \, B b^{2} c d^{2} - 8 \, A b c^{2} d^{2} - 2 \, B b^{3} d e + 8 \, A b^{2} c d e - A b^{3} e^{2}\right )}}{b^{4}}\right )} + \frac {3 \, {\left (B b^{3} d^{2} - 2 \, A b^{2} c d^{2} + 2 \, A b^{3} d e\right )}}{b^{4}}\right )} x\right )}}{3 \, {\left (c x^{2} + b x\right )}^{\frac {3}{2}}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 1.91, size = 190, normalized size = 2.07 \begin {gather*} \frac {2\,\left (-3\,B\,b^3\,d^2\,x-A\,b^3\,d^2+6\,B\,b^3\,d\,e\,x^2-6\,A\,b^3\,d\,e\,x+B\,b^3\,e^2\,x^3+3\,A\,b^3\,e^2\,x^2-12\,B\,b^2\,c\,d^2\,x^2+6\,A\,b^2\,c\,d^2\,x+4\,B\,b^2\,c\,d\,e\,x^3-24\,A\,b^2\,c\,d\,e\,x^2+2\,A\,b^2\,c\,e^2\,x^3-8\,B\,b\,c^2\,d^2\,x^3+24\,A\,b\,c^2\,d^2\,x^2-16\,A\,b\,c^2\,d\,e\,x^3+16\,A\,c^3\,d^2\,x^3\right )}{3\,b^4\,{\left (c\,x^2+b\,x\right )}^{3/2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________